FloatTracker.jl icon indicating copy to clipboard operation
FloatTracker.jl copied to clipboard

Injection sessions and deduplicate injections at the module level

Open ashton314 opened this issue 2 years ago • 1 comments

We want to improve coverage of NaN injection.

As we inject, record where those injections are happening.

Rerun the injection program—if our injection site matches something (configure: make FloatTracker notice under what module to deduplicate) then move on to a different site.

ashton314 avatar May 09 '23 18:05 ashton314

Example log from Finch advection. Ran 10 times and got basically the same injection for each! `finch_interface.jl 1188`
Recording to rand-adv2d-recording_202305081839563...

INJECT min (1.1111111111111064e-5, 1.1111111111111066e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:647
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63



Recording to rand-adv2d-recording_202305081844383...

INJECT min (1.1111111111111068e-5, 1.1111111111111066e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:647
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081845481...

INJECT min (1.1111111111111064e-5, 1.1111111111111147e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081847269...

INJECT min (1.1111111111111064e-5, 1.1111111111111144e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_20230508184844...

INJECT min (1.1111111111111064e-5, 1.1111111111111144e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081849413...

INJECT min (1.1111111111111064e-5, 1.1111111111111093e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081850043...

INJECT min (1.1111111111111064e-5, 1.111111111111115e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522


ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081851358...

INJECT min (1.1111111111111064e-5, 1.1111111111111147e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081852649...

INJECT min (1.1111111111111066e-5, 1.1111111111111064e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:647
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_202305081853889...

INJECT min (1.1111111111111064e-5, 1.1111111111111152e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63


Recording to rand-adv2d-recording_20230508185409...

INJECT min (1.1111111111111064e-5, 1.111111111111115e-5)...

run_or_inject at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:39
min at /home/ben/.julia/dev/FloatTracker/src/TrackedFloat.jl:105
mapreduce_impl at ./reduce.jl:650
_mapreduce at ./reduce.jl:434
_mapreduce_dim at ./reducedim.jl:365
#mapreduce#764 at ./reducedim.jl:357
mapreduce at ./reducedim.jl:357
#_minimum#786 at ./reducedim.jl:999
_minimum at ./reducedim.jl:999
#_minimum#785 at ./reducedim.jl:998
_minimum at ./reducedim.jl:998
#minimum#783 at ./reducedim.jl:994
minimum at ./reducedim.jl:994
macro expansion at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1188
macro expansion at /home/ben/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237
conservationForm at /home/ben/.julia/dev/Finch/src/finch_interface.jl:1116
top-level scope at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
eval at ./boot.jl:368
include_string at ./loading.jl:1428
_include at ./loading.jl:1488
include at ./Base.jl:419
exec_options at ./client.jl:303
_start at ./client.jl:522

ERROR: LoadError: InexactError: Int64(NaN)
Stacktrace:
 [1] Int64
   @ ./float.jl:788 [inlined]
 [2] convert(#unused#::Type{Int64}, x::Float64)
   @ Base ./number.jl:7
 [3] setproperty!(x::Stepper, f::Symbol, v::Float64)
   @ Base ./Base.jl:39
 [4] init_stepper(dx::TrackedFloat64, stepper::Stepper)
   @ Finch ~/.julia/dev/Finch/src/time_steppers.jl:27
 [5] macro expansion
   @ ~/.julia/dev/Finch/src/finch_interface.jl:1190 [inlined]
 [6] macro expansion
   @ ~/.julia/packages/TimerOutputs/RsWnF/src/TimerOutput.jl:237 [inlined]
 [7] conservationForm(var::Variable{TrackedFloat64}, cf::String)
   @ Finch ~/.julia/dev/Finch/src/finch_interface.jl:1116
 [8] top-level scope
   @ ~/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63
in expression starting at /home/ben/code/uu/fpx/examples/examples/finch/inj-adv2d-fv.jl:63

bennn avatar May 09 '23 18:05 bennn