changeset 48459 | 375e45df6fdf |
parent 48458 | 09710d6fc3d1 |
child 48460 | 20170ae271a5 |
48458:09710d6fc3d1 | 48459:375e45df6fdf |
---|---|
16 declare print_mode : string = "" |
16 declare print_mode : string = "" |
17 |
17 |
18 declare proofs : int = 0 |
18 declare proofs : int = 0 |
19 declare quick_and_dirty : bool = false |
19 declare quick_and_dirty : bool = false |
20 |
20 |
21 declare timing : bool = false |
|
22 |
|
23 declare condition : string = "" |
21 declare condition : string = "" |
24 |
22 |