Fixed bug in SMT option matching#5

Merged

strub merged 7 commits intoEasyCrypt:1.0from

alleystoughton:1.0

Feb 28, 2018

Commits on Feb 21, 2018

Added clean way to clear the list of current provers.
alleystoughton
committed

Commits on Feb 27, 2018

Merge remote-tracking branch 'upstream/1.0' into 1.0
alleystoughton
committed

Commits on Feb 28, 2018

Fixed bug in SMT option matching.
alleystoughton
committed