search

utahplt / TrackedFloats.jl

Julia library providing tracking of floating point errors through a program resources
https://juliahub.com/ui/Packages/General/TrackedFloats
MIT License
34 stars 3 forks source link

Injection sessions and deduplicate injections at the module level #16

Open ashton314 opened 1 year ago

ashton314 commented 1 year ago

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.

bennn commented 1 year ago
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 ```