main :: IO ()
main = do
    conn <- openArduino False "/dev/cu.usbmodem1421"
    refB <- send conn $ newRemoteRef (lit False)
    print "Not Tests:"
    quickCheck (prop_not conn refB)
    print "And Tests:"
    quickCheck (prop_and conn refB)
    print "Or Tests:"
    quickCheck (prop_or conn refB)
    print "ifB Tests:"
    quickCheck (prop_ifb conn refB)
    print "Equal Tests:"
    quickCheck (prop_eq conn refB)
    print "Not Equal Tests:"
    quickCheck (prop_neq conn refB)
    print "Less Than Tests:"
    quickCheck (prop_lt conn refB)
    print "Greater Than Tests:"
    quickCheck (prop_gt conn refB)
    print "Less Than Equal Tests:"
    quickCheck (prop_lte conn refB)
    print "Greater Than Equal Tests:"
    quickCheck (prop_gte conn refB)
    closeArduino conn
main :: IO ()
main = do
    conn <- openArduino False "/dev/cu.usbmodem1421"
    refB <- send conn $ newRemoteRef (lit False)
    print "Not Tests:"
    quickCheck (prop_not conn refB)
    print "And Tests:"
    quickCheck (prop_and conn refB)
    print "Or Tests:"
    quickCheck (prop_or conn refB)
    print "ifB Tests:"
    quickCheck (prop_ifb conn refB)
    print "Equal Tests:"
    quickCheck (prop_eq conn refB)
    print "Not Equal Tests:"
    quickCheck (prop_neq conn refB)
    print "Less Than Tests:"
    quickCheck (prop_lt conn refB)
    print "Greater Than Tests:"
    quickCheck (prop_gt conn refB)
    print "Less Than Equal Tests:"
    quickCheck (prop_lte conn refB)
    print "Greater Than Equal Tests:"
    quickCheck (prop_gte conn refB)
    closeArduino conn
main = do
    conn <- openArduino False "/dev/cu.usbmodem1421"
    refB <- send conn $ newRemoteRef (lit False)
    print "Not Tests:"
    quickCheck (prop_not conn refB)
    print "And Tests:"
    quickCheck (prop_and conn refB)
    print "Or Tests:"
    quickCheck (prop_or conn refB)
    print "ifB Tests:"
    quickCheck (prop_ifb conn refB)
    print "Equal Tests:"
    quickCheck (prop_eq conn refB)
    print "Not Equal Tests:"
    quickCheck (prop_neq conn refB)
    print "Less Than Tests:"
    quickCheck (prop_lt conn refB)
    print "Greater Than Tests:"
    quickCheck (prop_gt conn refB)
    print "Less Than Equal Tests:"
    quickCheck (prop_lte conn refB)
    print "Greater Than Equal Tests:"
    quickCheck (prop_gte conn refB)
    closeArduino conn