ada/langkit
0
0
Fork 0
mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
langkit/testsuite/tests/adalog/diagnostics
History
Romain Beguet 5dd3912fac Include an NPropagate atom in adalog/diagnostics test case. 
To check that these also correctly propagate the logic context.
2024-01-17 10:42:23 +01:00
..
main.adb
Include an NPropagate atom in adalog/diagnostics test case.
2024-01-17 10:42:23 +01:00
test.out
Include an NPropagate atom in adalog/diagnostics test case.
2024-01-17 10:42:23 +01:00
test.yaml
Infrastructure for emitting diagnostics out of solver resolution failures.
2024-01-11 10:14:41 +00:00