Skip to content

Relax assumption in aRTA

Sergey Bozhko requested to merge sbozhko/rt-proofs:le_aRTA into master

Currently, aRTA required F to be solution of equation A + F = task_rtct + IBF A (A + F), this commit relaxes this assumption to A + F >= task_rtct + IBF A (A + F)

Merge request reports