Docs.rs
vampire-sys-0.5.2
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
vampire-sys 0.5.2
Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)
Crate
Source
Builds
Feature flags
Documentation
Hide files
..
makefile
README.md
reg0000.trace
reg0001.trace
reg0002.trace
reg0003.trace
reg0004.trace
reg0005.trace
reg0006.trace
reg0007.trace
reg0008.trace
reg0009.trace
reg0010.trace
reg0011.trace
reg0012.trace
reg0013.trace
reg0014.trace
reg0015.trace
reg0016.trace
reg0017.trace
reg0018.trace
reg0019.trace
reg0020.trace
reg0021.trace
reg0022.trace
reg0023.trace
reg0024.trace
reg0025.trace
reg0026.trace
reg0027.trace
reg0028.trace
reg0029.trace
reg0030.trace
reg0031.trace
reg0032.trace
reg0033.trace
reg0034.trace
reg0035.trace
reg0036.trace
reg0037.trace
reg0038.trace
reg0039.trace
reg0040.trace
reg0041.trace
reg0042.trace
reg0043.trace
reg0044.trace
reg0045.trace
reg0046.trace
reg0047.trace
reg0048.trace
reg0049.trace
reg0050.trace
reg0051.trace
reg0052.trace
reg0053.trace
reg0054.trace
reg0055.trace
reg0056.trace
reg0057.trace
reg0058.trace
reg0059.trace
reg0060.trace
reg0061.trace
reg0062.trace
reg0063.trace
reg0064.trace
reg0065.trace
reg0066.trace
reg0067.trace
reg0068.trace
reg0069.trace
reg0070.trace
reg0071.trace
reg0072.trace
reg0073.trace
reg0074.trace
reg0075.trace
reg0076.trace
reg0077.trace
reg0078.trace
run.sh
1
2
3
#
run the regression traces with a single 'make' call
test
:
$(
MAKE
)
-C
.. trace