4 Commits

Author	SHA1	Message	Date
Amos Bird	9961182e86	Fix verbatim partition pruner	2020-11-13 22:05:40 +08:00
Amos Bird	46507c8cff	Better test	2020-11-08 17:11:02 +08:00
Amos Bird	aa436a3cb1	Transform single point	2020-11-06 14:59:55 +08:00
Amos Bird	30bf5e6d26	Prune partition in verbatim way.	2020-11-06 09:56:13 +08:00