test:copilot-verifier-test

Dependencies

• aeson lib:aeson >=1.5 && <2.3
• base lib:base >=4.8 && <4.20
• bv-sized lib:bv-sized >=1.0.0 && <1.1
• bytestring lib:bytestring >=0
• case-insensitive lib:case-insensitive >=0
• containers lib:containers >=0.5.9.0
• copilot-c99 lib:copilot-c99 >=4.0 && <4.1
• copilot-core lib:copilot-core >=4.0 && <4.1
• copilot-theorem lib:copilot-theorem >=4.0 && <4.1
• copilot-verifier lib:copilot-verifier >=0 && >=0
• copilot-verifier lib:copilot-verifier-examples >=0 && >=0
• crucible lib:crucible >=0.7.1 && <0.8
• crucible-llvm lib:crucible-llvm >=0.7 && <0.8
• crux lib:crux >=0.7.1 && <0.8
• crux-llvm lib:crux-llvm >=0.9 && <0.10
• filepath lib:filepath >=0
• lens lib:lens >=0
• llvm-pretty lib:llvm-pretty >=0.12.1.0 && <0.13
• mtl lib:mtl >=0
• panic lib:panic >=0.3
• parameterized-utils lib:parameterized-utils >=2.1.4 && <2.2
• prettyprinter lib:prettyprinter >=1.7.0
• silently lib:silently >=1.2
• tasty lib:tasty >=0.10
• tasty-expected-failure lib:tasty-expected-failure >=0.12
• tasty-hunit lib:tasty-hunit >=0.10
• text lib:text >=0
• transformers lib:transformers >=0
• vector lib:vector >=0
• what4 lib:what4 >=1.6.1 && <1.7

Reverse dependencies

None.