Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

R

RegularModels
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

Admin message

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

5fa2a517

Commit 5fa2a517 authored 2 months ago by GENET Thomas

Downloads
- Patches
- Plain Diff

début des tests de non régression

parent 9f649e84

Branches

Tags

Loading

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

bin/main.ml 7 additions, 5 deletions

bin/main.ml
files_test/memberDelete.a 2 additions, 2 deletions

files_test/memberDelete.a
lib/ast.ml 9 additions, 10 deletions

lib/ast.ml
lib/dune 1 addition, 5 deletions

lib/dune
lib/pp_clingo.ml 50 additions, 39 deletions

lib/pp_clingo.ml
test/dune 11 additions, 4 deletions

test/dune
test/test_ast.ml 35 additions, 0 deletions

test/test_ast.ml
test/test_clingo_ast.ml 22 additions, 0 deletions

test/test_clingo_ast.ml
test/test_smt_to_clingo.ml 0 additions, 0 deletions

test/test_smt_to_clingo.ml

with 137 additions and 65 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment