gitextract_nf65lu9d/

├── .gitattributes
├── .gitignore
├── README.md
├── TODO.md
├── Vagrantfile
├── copyright.txt
├── fail/
│   ├── arrayindex.py
│   ├── dictbool.py
│   ├── divzero.py
│   ├── git.py
│   ├── pow.py
│   └── sqrttest.py
├── marktoberdorf_paper/
│   ├── DSE/
│   │   ├── CodeReview.pptx
│   │   ├── DSE.mdk
│   │   ├── IOS-Book-Article.cls
│   │   ├── cpp2.json
│   │   ├── dse.bib
│   │   ├── ignores.dic
│   │   └── out/
│   │       └── DSE.tex
│   ├── DSE.html
│   └── forPublisher/
│       ├── IOS-Book-Article.cls
│       ├── css.sty
│       ├── dse.tex
│       └── madoko.sty
├── marktoberdorf_slides/
│   ├── CodeReview.pptx
│   ├── Marktoberdorf2014_1.pptx
│   ├── Marktoberdorf2014_2.pptx
│   ├── Marktoberdorf2014_3.pptx
│   ├── Marktoberdorf2014_4.pptx
│   ├── collatz.py
│   └── examples/
│       ├── adder.py
│       ├── automata.py
│       ├── check_adder.py
│       ├── check_mult.py
│       ├── first.py
│       ├── hats.py
│       ├── mult.py
│       └── mult2.py
├── pyexz3.py
├── run_tests.py
├── setup.bat
├── setup.sh
├── symbolic/
│   ├── __init__.py
│   ├── args.py
│   ├── constraint.py
│   ├── cvc_expr/
│   │   ├── __init__.py
│   │   ├── exprbuilder.py
│   │   ├── expression.py
│   │   ├── integer.py
│   │   └── string.py
│   ├── cvc_wrap.py
│   ├── explore.py
│   ├── invocation.py
│   ├── loader.py
│   ├── path_to_constraint.py
│   ├── predicate.py
│   ├── symbolic_types/
│   │   ├── __init__.py
│   │   ├── symbolic_dict.py
│   │   ├── symbolic_int.py
│   │   ├── symbolic_str.py
│   │   └── symbolic_type.py
│   ├── z3_expr/
│   │   ├── __init__.py
│   │   ├── bitvector.py
│   │   ├── expression.py
│   │   └── integer.py
│   └── z3_wrap.py
├── test/
│   ├── abs_test.py
│   ├── andor.py
│   ├── arrayindex2.py
│   ├── bad_eq.py
│   ├── bignum.py
│   ├── binary_search.py
│   ├── bitwidth.py
│   ├── complex.py
│   ├── cseppento1.py
│   ├── cseppento2.py
│   ├── cseppento3.py
│   ├── cvc/
│   │   ├── effectivebool.py
│   │   ├── emptystr.py
│   │   ├── escape.py
│   │   ├── none.py
│   │   ├── strcontains.py
│   │   ├── strcount.py
│   │   ├── strfind.py
│   │   ├── strfindbeg.py
│   │   ├── strindex.py
│   │   ├── stringadd.py
│   │   ├── stringtest.py
│   │   ├── strmiddle.py
│   │   ├── strreplace.py
│   │   ├── strslice.py
│   │   ├── strsplit.py
│   │   ├── strstartswith.py
│   │   ├── strstrip.py
│   │   └── strsubstring.py
│   ├── decorator.py
│   ├── decorator_dict.py
│   ├── diamond.py
│   ├── dict.py
│   ├── dictionary.py
│   ├── elseif.py
│   ├── expand.py
│   ├── expressions.py
│   ├── filesys.py
│   ├── fp.py
│   ├── gcd.py
│   ├── hashval.py
│   ├── len_test.py
│   ├── lib/
│   │   ├── __init__.py
│   │   ├── bsearch.py
│   │   └── se_dict.py
│   ├── list.py
│   ├── logical_op.py
│   ├── loop.py
│   ├── many_branches.py
│   ├── maxtest.py
│   ├── mod.py
│   ├── modulo.py
│   ├── modulo2.py
│   ├── mult_assmt.py
│   ├── polyspace.py
│   ├── power.py
│   ├── power2.py
│   ├── powtest.py
│   ├── reverse.py
│   ├── set.py
│   ├── shallow_branches.py
│   ├── simple.py
│   ├── swap.py
│   ├── tmp
│   ├── tuplecmp.py
│   ├── unnecessary_condition.py
│   ├── unnecessary_condition2.py
│   ├── unnecessary_condition3.py
│   ├── unnecessary_condition4.py
│   ├── weird.py
│   └── whileloop.py
├── tools/
│   └── symbolic_int_subtype.py
├── utils.py
└── vagrant.sh