Support SMTLib2 comment characters
By default the // comment character is used, which is invalid for SMTLib2. Instead, use the ; comment character for SMTLib2.
Submitted by D. Pelsmaeker on 2 October 2018 at 11:16
Issue Log
On 4 October 2018 at 11:27 D. Pelsmaeker tagged 0.47.18
On 4 October 2018 at 11:31 D. Pelsmaeker closed this issue.
Log in to post comments