libre-chip/fayalite
2
0
Fork 2
Code Issues 1 Pull requests Actions Packages Projects Releases Wiki Activity

Add test module exercising formal verification. #2

Merged
programmerjake merged 1 commit from cesar/fayalite:formal_test_case into master 2024-11-20 21:40:35 +00:00
Conversation 1 Commits 1 Files changed 1 +133

1 commit

Author SHA1 Message Date
Cesar Strauss c1f1a8b749 Add test module exercising formal verification.
All checks were successful
/ deps (pull_request) Successful in 15s
Details
/ test (pull_request) Successful in 4m47s
Details
/ deps (push) Successful in 13s
Details
/ test (push) Successful in 5m16s
Details
2024-11-20 18:29:39 -03:00