Skip to content
This repository has been archived by the owner on Sep 22, 2023. It is now read-only.

mbt generator-sbst2022 #109

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Open

Conversation

chiakangZacHung
Copy link

No description provided.

@chiakangZacHung
Copy link
Author

Mbt generator

@alessiogambi
Copy link
Contributor

@chiakangZacHung Hi, I tried to deploy and run your tool but I was not successful. Could you please post here the command line we should use? Also from which folder do you start the generator?
Regarding additional dependencies, I installed jype1 but the code also needs some package called eu.

I installed that using pip install eu but then I get the following error:

2022-02-02 20:38:32,473 CRITICAL An error occurred during test generation
Traceback (most recent call last):
  File "C:\tool-competition-av-evaluator\competition.py", line 392, in generate
    test_generator.start()
  File "mbt-polimi-sbst22\mbt_generator\mbt_generator.py", line 56, in start
    from eu.fbk.iv4xr.mbt import SBSTMain
  File "C:\tool-competition-av-evaluator\.venv\lib\site-packages\eu\__init__.py", line 33, in <module>
    absolute_path_from_relative_path)
AssertionError: Couldn't find file: C:\tool-competition-av-evaluator\.venv\lib\site-packages\eu\hello_relative_world.txt

@chiakangZacHung
Copy link
Author

chiakangZacHung commented Feb 3, 2022 via email

@alessiogambi
Copy link
Contributor

Unfortunately, this did not help. I still get the same error message.

The line that causes it is the following:

from eu.fbk.iv4xr.mbt import SBSTMain


A couple of additional observations:

  • it seems that you are using Python to invoke Java. This is something we did not try before, and probably we need to know which version of java your system requires (that might not be available by default).

  • you do not provide the source code of mbt-1.0.2-jar-with-dependencies.jar. This is ok but might invalidate the submission since it casts doubts on what this code does in practice

  • please send me ([email protected]) an email and I'll invite you over our slack channel so we can solve the issue easily

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants