Proptest set up with CI.#1516

Merged

YoshikiTakashima merged 16 commits intomodel-checking:features/proptestfrom YoshikiTakashima:features/proptest

Sep 1, 2022

+2,324-5,315

Commits on Aug 11, 2022

Added github settings.
Yoshi Takashima
committed

Commits on Aug 12, 2022

Added kani copyright.
Yoshi Takashima
committed
Remoevd unuised clang and python checks.
Yoshi Takashima
committed
Disable failing tests. It was already failing before fork.
Yoshi Takashima
committed
Deleted duplicate check
Yoshi Takashima
committed
Added CBMC dependency env file.
Yoshi Takashima
committed
Rustfmt.
Yoshi Takashima
committed
Oops, disabled the wrong tests.
Yoshi Takashima
committed
Fix rustfmt behavior issue.
Yoshi Takashima
committed
Temporarily removed clippy lints.
Yoshi Takashima
committed

Commits on Aug 31, 2022

Whitelisted dependencies licenses
Yoshi Takashima
committed
fixed message
Yoshi Takashima
committed
Upgraded dependency that had vulns.
Yoshi Takashima
committed
Adjusted clippy allow lints for proptest specific.
Yoshi Takashima
committed
Purged redundant files and imports.
Yoshi Takashima
committed
Fixed clippy depreciation warnings.
Yoshi Takashima
committed