Searched refs:pairTest (Results 1 – 1 of 1) sorted by relevance
607 pairTest ::612 pairTest sym solver = function961 , testCase "Yices pair" $ withYices pairTest965 , testCase "Z3 pair" $ withOnlineZ3 pairTest971 , testCase "CVC4 pair" $ withCVC4 pairTest