Blame

Date:
Message:
add test012 test010 has a weird failure to find a good diff. This new test, when setting the permitted_state_size = 100, gives a shorter failure that test010, to allow easier debugging.
Actions:
History | Blob | Raw File
 1 b47897f3 2020-05-05 neels 1 right

 2 b47897f3 2020-05-05 neels 2

 3 b47897f3 2020-05-05 neels 3

 4 b47897f3 2020-05-05 neels 4

 5 b47897f3 2020-05-05 neels 5

 6 b47897f3 2020-05-05 neels 6

 7 b47897f3 2020-05-05 neels 7

 8 b47897f3 2020-05-05 neels 8

 9 b47897f3 2020-05-05 neels 9

10 b47897f3 2020-05-05 neels 10

11 b47897f3 2020-05-05 neels 11

12 b47897f3 2020-05-05 neels 12

13 b47897f3 2020-05-05 neels 13

14 b47897f3 2020-05-05 neels 14

15 b47897f3 2020-05-05 neels 15

16 b47897f3 2020-05-05 neels 16

17 b47897f3 2020-05-05 neels 17

18 b47897f3 2020-05-05 neels 18

19 b47897f3 2020-05-05 neels 19

20 b47897f3 2020-05-05 neels 14

21 b47897f3 2020-05-05 neels 15

22 b47897f3 2020-05-05 neels 16 right

23 b47897f3 2020-05-05 neels 17

24 b47897f3 2020-05-05 neels 18

25 b47897f3 2020-05-05 neels 19

26 b47897f3 2020-05-05 neels 20

27 b47897f3 2020-05-05 neels 21

28 b47897f3 2020-05-05 neels 22

29 b47897f3 2020-05-05 neels 23