Skip to content

Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now) - #779

Open
quickbeam123 wants to merge 2 commits into
masterfrom
property-unit-tests
Open

Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now)#779
quickbeam123 wants to merge 2 commits into
masterfrom
property-unit-tests

adding some tests for hasXEqualsY(const Formula*)

6197263
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.