BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170 stars 47 forks source link

X-Plane 11 falsifier example is not working properly #40

Open dbuyukco opened 2 years ago

dbuyukco commented 2 years ago

Hello,

I jumped into your example page about X-Plane and have done your steps about example falsifier. When I complete and run

python -m -m verifai.simulators.xplane.server I got an error in falsifier.py

Traceback (most recent call last; use -b to show Scenic internals): File "C:\Users.conda\envs\verifai\lib\runpy.py", line 197, in _run_module_as_main return _run_code(code, main_globals, None, File "C:\Users.conda\envs\verifai\lib\runpy.py", line 87, in _run_code exec(code, run_globals) File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\simulators\xplane\server.py", line 333, in run_test(configuration, runway_data, verbosity=args.verbosity) File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\simulators\xplane\server.py", line 274, in run_test falsifier = XPlaneFalsifier(specification, sampler=sampler, File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\simulators\xplane\server.py", line 208, in init super().init(monitor, sampler_type=sampler_type, sampler=sampler, File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\falsifier.py", line 199, in init super().init(sample_space=sample_space, sampler_type=sampler_type, File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\falsifier.py", line 191, in init super().init(sample_space=sample_space, sampler_type=sampler_type, File "C:\Users.conda\envs\verifai\lib\site-packages\verifai\falsifier.py", line 60, in init self.init_server(server_params, server_class) TypeError: init_server() takes 2 positional arguments but 3 were given

I am using python 3.9.x, X-Plane 11 and your XPlaneConnect Fork.