Skip to content

Fixed JSON output for unknown realizability results

Latest
Latest

Choose a tag to compare

View all tags
@andreaskatis andreaskatis released this 01 Dec 00:43
v2.2
c55bbc4 
v2.2

Fixed handling of unknown results when printing in json format.
Assets 11
Loading