def test_does_not_hide_error_in_generate(): def broken(r): raise ValueError() machine = TestMachine() machine.add(generate(broken, "broken")) with pytest.raises(ValueError): machine.run()
Find an example demonstrating that lists can contain the same element multiple times. Example output: t1 = 1 t2 = [t1, t1] assert unique(t2) """ from testmachine import TestMachine from testmachine.common import ints, lists machine = TestMachine() # Populate the ints varstack with integer values ints(machine) # Populate the intlists varstack with lists whose elements are drawn from the # ints varstack lists(machine, source="ints", target="intlists") # Check whether a list contains only unique elements. If it contains duplicates # raise an error. machine.check( lambda s: len(s) == len(set(s)), argspec=("intlists",), name="unique" ) if __name__ == '__main__': # Find a program that creates a list with non-unique elements. machine.run()