Mentions légales du service

Skip to content

Fix parsing of cvc4 models for cvc4 1.8 (git)

Johannes Kanig requested to merge cvc4_1.8_model_card into master

This commit parses (= ignores) lines of the form:

(declare-fun () name)

which are emitted by cvc4 for singleton types.

Fixes #427 (closed)

Change-Id: I271ca7d1d951429fecbdcb7cf90c324dfc336e35

Merge request reports