Incremental, monolithic (default) and incorrect simple base case checking.
Incremental, monolithic (default) and incorrect simple base case checking.

AdrienChampion/kind2,kind2-mc/kind2,AdrienChampion/kind2,AdrienChampion/kind2,AdrienChampion/kind2,mebsout/kind2,tinelli/kind2,AdrienChampion/kind2,AdrienChampion/kind2,tinelli/kind2,mebsout/kind2,mebsout/kind2,tinelli/kind2,mebsout/kind2,mebsout/kind2,mebsout/kind2,tinelli/kind2,daniel-larraz/kind2,AdrienChampion/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2,mebsout/kind2,AdrienChampion/kind2,mebsout/kind2,tinelli/kind2