havm issueshttps://gitlab.lre.epita.fr/tiger/havm/-/issues2020-04-28T22:40:05+02:00https://gitlab.lre.epita.fr/tiger/havm/-/issues/4Some jumps are not evaluated2020-04-28T22:40:05+02:00Maxime JoubertSome jumps are not evaluatedI some cases, it seems that somes instructions are not evaluated. In the following test [break-binding.tig](/uploads/c86b6481315882b0f962cd9796c3b83f/break-binding.tig), the first `break` at line 8 should break the while loop at line 3. ...I some cases, it seems that somes instructions are not evaluated. In the following test [break-binding.tig](/uploads/c86b6481315882b0f962cd9796c3b83f/break-binding.tig), the first `break` at line 8 should break the while loop at line 3. This is the behaviour of the ref, except at TC-5, where an infinite print loop happens with havm. However, the generated hir seems to be correct [break-binding.hir](/uploads/9d06015016d417bb432eaec6312134cd/break-binding.hir), but havm does not evaluate the jump at line 23.https://gitlab.lre.epita.fr/tiger/havm/-/issues/2Add support for parallel checks in HAVM2018-06-17T06:16:58+02:00Clément Démoulinsclement.demoulins@epita.frAdd support for parallel checks in HAVMWe cannot safely run `make check -j2` nor `make distcheck -j2` at the moment in the HAVM build tree. The tests run by these targets (`tests/cmp.test` and `tests/trace.test`) write and read the same files (located in `tests/testSubDir/),...We cannot safely run `make check -j2` nor `make distcheck -j2` at the moment in the HAVM build tree. The tests run by these targets (`tests/cmp.test` and `tests/trace.test`) write and read the same files (located in `tests/testSubDir/), which prevent any safe concurrent execution.
I (Roland) have removed the « `-j` » options of the `make check` and `make distcheck` steps of HAVM's TeamCity builds (see https://teamcity.lrde.epita.fr/viewType.html?buildTypeId=Havm_X8664unknownLinuxGnu&tab=buildTypeSettings). Anyhow we shall add support for concurrent runs to HAVM's test engine.