| changeset 376 | 944db68cddbd |
| parent 375 | d886c0fd7374 |
| child 382 | fec2c2f2d3db |
--- a/pre_marking1/collatz_test.sh Sat Nov 28 12:09:55 2020 +0000 +++ b/pre_marking1/collatz_test.sh Sat Nov 28 15:37:30 2020 +0000 @@ -37,7 +37,7 @@ # purity test function scala_vars { - (egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|mutable|util.control|new Array' c$out 2> /dev/null 1> /dev/null) + (egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|AtomicInteger|mutable|util.control|new Array' c$out 2> /dev/null 1> /dev/null) }