Skip to content

Commit dbfd166

Browse files
michaelnebelmichaelnebel
committed
Java: Add negative model CSV validation test.
1 parent 290c35e commit dbfd166

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

‎java/ql/test/library-tests/dataflow/external-models/negativesummaries.expected

Whitespace-only changes.

‎java/ql/test/library-tests/dataflow/external-models/negativesummaries.ql

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
/**
2+
* CSV Validation of negative summaries.
3+
*/
4+
5+
import java
6+
import semmle.code.java.dataflow.ExternalFlow
7+
import CsvValidation
8+
import semmle.code.java.dataflow.internal.NegativeSummary

0 commit comments

Comments
 (0)