mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
53 lines
687 B
Plaintext
53 lines
687 B
Plaintext
fact1
|
|
foreach
|
|
facts.Quiet($x, True)
|
|
facts.Cold($x, True)
|
|
assert
|
|
facts.Smart($x, True)
|
|
|
|
fact2
|
|
foreach
|
|
facts.Red($x, True)
|
|
facts.Cold($x, True)
|
|
assert
|
|
facts.Round($x, True)
|
|
|
|
fact3
|
|
foreach
|
|
facts.Kind($x, True)
|
|
facts.Rough($x, True)
|
|
assert
|
|
facts.Red($x, True)
|
|
|
|
fact4
|
|
foreach
|
|
facts.Quiet($x, True)
|
|
assert
|
|
facts.Rough($x, True)
|
|
|
|
fact5
|
|
foreach
|
|
facts.Cold($x, True)
|
|
facts.Smart($x, True)
|
|
assert
|
|
facts.Red($x, True)
|
|
|
|
fact6
|
|
foreach
|
|
facts.Rough($x, True)
|
|
assert
|
|
facts.Cold($x, True)
|
|
|
|
fact7
|
|
foreach
|
|
facts.Red($x, True)
|
|
assert
|
|
facts.Rough($x, True)
|
|
|
|
fact8
|
|
foreach
|
|
facts.Smart(Dave, True)
|
|
facts.Kind(Dave, True)
|
|
assert
|
|
facts.Quiet(Dave, True)
|