sfrances

sfrances

PropCheck interfering with escript

I have an application which has PropCheck tests. I am now trying to build a command line for this program. However, when I try to run the built escript, I get the following:

16:50:39.136 [info]  Application propcheck exited: exited in: PropCheck.App.start(:normal, [])
    ** (EXIT) an exception was raised:
        ** (UndefinedFunctionError) function Mix.Project.config/0 is undefined (module Mix.Project is not available)
            Mix.Project.config()
            (propcheck 1.4.0) lib/mix.ex:11: PropCheck.Mix.counter_example_file/0
            (propcheck 1.4.0) lib/app.ex:51: PropCheck.App.counter_example_file/0
            (propcheck 1.4.0) lib/app.ex:34: PropCheck.App.populate_application_env/0
            (propcheck 1.4.0) lib/app.ex:12: PropCheck.App.start/2
            (kernel 8.0.2) application_master.erl:293: :application_master.start_it_old/4

16:50:39.150 [info]  Application libgraph exited: :stopped

16:50:39.150 [info]  Application proper exited: :stopped

16:50:39.151 [info]  Application iex exited: :stopped
ERROR! Could not start application propcheck: exited in: PropCheck.App.start(:normal, [])
    ** (EXIT) an exception was raised:
        ** (UndefinedFunctionError) function Mix.Project.config/0 is undefined (module Mix.Project is not available)
            Mix.Project.config()
            (propcheck 1.4.0) lib/mix.ex:11: PropCheck.Mix.counter_example_file/0
            (propcheck 1.4.0) lib/app.ex:51: PropCheck.App.counter_example_file/0
            (propcheck 1.4.0) lib/app.ex:34: PropCheck.App.populate_application_env/0
            (propcheck 1.4.0) lib/app.ex:12: PropCheck.App.start/2
            (kernel 8.0.2) application_master.erl:293: :application_master.start_it_old/4

Googling around, I tried adding runtime: false to propcheck’s options in my mix.exs. Now the CLI works fine, but mix test won’t work.

== Compilation error in file test/analytic_tableaux_props_test.exs ==
** (exit) exited in: GenServer.call(PropCheck.CounterStrike, {:counter_example, {AnalyticTableauxPropsTest, :"property_a simple formula proves itself", []}}, 5000)
    ** (EXIT) no process: the process is not alive or there's no process currently associated with the given name, possibly because its application isn't started
    (elixir 1.12.2) lib/gen_server.ex:1014: GenServer.call/3
    (propcheck 1.4.0) lib/properties.ex:151: PropCheck.Properties.tag_property/1
    test/analytic_tableaux_props_test.exs:5: (module)
    (stdlib 3.15.2) erl_eval.erl:685: :erl_eval.do_apply/6
    (elixir 1.12.2) lib/kernel/parallel_compiler.ex:428: Kernel.ParallelCompiler.require_file/2
    (elixir 1.12.2) lib/kernel/parallel_compiler.ex:321: anonymous fn/4 in Kernel.ParallelCompiler.spawn_workers/7

Any help very much appreciated.

Marked As Solved

dimitarvp

dimitarvp

Shooting in the dark here, did you try specifying only: [:dev, :test] in mix.exs? IMO you can delete the runtime: false option.

Also Liked

sfrances

sfrances

Found a solution: if I just put only: [:test] that works. Thanks again.

dimitarvp

dimitarvp

Oh yeah, my mistake. I was thinking about dialyzer and not a testing library. only: [:test] is indeed the right thing to do.

Last Post!

dimitarvp

dimitarvp

Oh yeah, my mistake. I was thinking about dialyzer and not a testing library. only: [:test] is indeed the right thing to do.

Where Next?

Popular in Questions Top

electic
Hi, I am new to Elixir. I am trying to use the DateTime component to insert a date into MySQL however the there seems to be no way to fo...
New
lanycrost
Hi everyone! I need implement if…else if…else condition from my elixir code, and anymore of this control flow structures not work proper...
New
ashish173
I am using Ecto timestamps with postgres, I can see the timestamps() use the :naive_dateime but for my use case I wanted to store the ti...
New
aalberti333
As the title describes, I’m trying to run Enum.map() over a list of key/value pairs, where the value is a map. My data looks like this: ...
New
siddhant3030
Hi, I have to write a raw query for one of my project. But till now I have used ecto queries and don’t have much experience writing raw ...
New
WestKeys
Currently suffering from paralysis by [HTTP client] analysis. This is rather unusual in Elixirland as there tends to be consensus on the ...
New
svb
Hi! Currently I want to submit a form by pressing the Enter key. However, since my input field is of type “textarea” this is just adds a...
New

Other popular topics Top

JeremM34
Hello, how can I check the Phoenix version ? Thanks !
New
minhajuddin
I have seen a lot of code which picks the first element from a list using Enum.at(0) instead of List.first. Is there a reason why people ...
New
hariharasudhan94
I would like to know what is the best IDE for elixir development?
New
AstonJ
Seen any cool LiveView demos, sample apps or examples? Please post them here! :003:
New
siddhant3030
Hi, I have to write a raw query for one of my project. But till now I have used ecto queries and don’t have much experience writing raw ...
New
jason.o
In the code below, if the create action is not set to accept “extra_key” as an input, it errors out with a message shown above. Is there ...
New

We're in Beta

About us Mission Statement