mbk/slimp
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

decuple default limits

Browse source
This commit is contained in:
mehbark 2023-06-13 22:52:26 -04:00
parent 6e00f260a8
commit 7d6aaddf81
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/main.rs
View file

@ -17,8 +17,8 @@ static FORALL: Lazy<Symbol> = Lazy::new(|| TABLE.lock().unwrap().intern("forall"
/// Note that it is actually the string "def". This is for the user's convenience. /// Note that it is actually the string "def". This is for the user's convenience.
static CONCRETE: Lazy<Symbol> = Lazy::new(|| TABLE.lock().unwrap().intern("def").unwrap()); static CONCRETE: Lazy<Symbol> = Lazy::new(|| TABLE.lock().unwrap().intern("def").unwrap());
const DEFAULT_COMPLEXITY_LIMIT: usize = 20_000; const DEFAULT_COMPLEXITY_LIMIT: usize = 200_000;
const DEFAULT_STEP_LIMIT: usize = 2_000; const DEFAULT_STEP_LIMIT: usize = 20_000;
fn main() { fn main() {
match do_it() { match do_it() {