Mentions légales du service

Skip to content

Client: separate the tests from the client library

SCHERER Gabriel requested to merge gscherer/inferno:separate-tests-francois into master

This MR moves the Inferno client tests to a separate client/test subdirectory. It will make it easier to add more tests, and different kind of tests (for example tests for the System F code) in the future, while preserving a readable structure for the client library.

This is joint work with Olivier Martinot ( @O_Olivier ).

The MR depends on !3 (merged) (the rename of client/Client.ml into client/Infer.ml), which should be discussed and possibly merged first.

Edited by SCHERER Gabriel

Merge request reports