Python: Sync InlineExpectationsTest.qll between Python and C++

Also changes `valuesasas` to `values` in the test example.
This commit is contained in:
Taus Brock-Nannestad
2020-08-27 13:35:24 +02:00
parent e7322d114f
commit dccbcc15b3
3 changed files with 8 additions and 4 deletions

View File

@@ -28,11 +28,11 @@
* }
*
* override predicate hasActualResult(
* Location location, string element, string tag, string valuesasas
* Location location, string element, string tag, string values
* ) {
* exists(Expr e |
* tag = "const" and // The tag for this test.
* valuesasas = e.getValue() and // The expected value. Will only hold for constant expressions.
* values = e.getValue() and // The expected value. Will only hold for constant expressions.
* location = e.getLocation() and // The location of the result to be reported.
* element = e.toString() // The display text for the result.
* )