This crate provides the entry-point binaries used to prepare and then launch the prusti-driver
and prusti-server
binaries.
By design, this crate should not dynamically link to anything.
Files
This branch is 1972 commits behind viperproject/prusti-dev:master.
prusti-launch
Folders and files
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||