This repository work with the latest P version as of the time of this writing, the latest P version is 2.1.2.0
# compile all the crucial P files
p compile
# check source against properties
# replace <test-case> with
# CheckDroneState or FailDroneState
p check -tc <test-case>