We're here to help


This function negates the condition. It can be used with loops or conditional statements. The result will be a boolean value.

Format: Not()


{Not(80 > 100)} – This will return True.

{Not(100 > 80)} – This will return False.



Want to learn more about using this function in Provar? You can use the following sample test case to get started. Simply right-click to download Not.testcase and then drag and drop the test case into the test folder within the Navigator panel of Provar.

Note: You will need to unzip/extract the compressed file before using it in Provar.