Fix bug with test 964.
An indentation error meant that some test cases would not be generated. Also fixed run-test script since fixing this causes the output to be larger than the default ulimit. Change-Id: I454f89078f8307f400b66627fdab13feaf492512
Loading
Please sign in to comment